Categorical methods in linear algebra

Categorical Algebra

1. Introduction. Category, functor, and natural transformation of functors are notions of great generality—and consequent simplicity. They apply to many different parts of mathematics. Now 22 years old, they have recently attracted especially active interest in many quarters. This interest is probably a reflection of the very rapid current proliferation of mathematical ideas—a situation favorin...

Methods and Applications of (MAX, +) Linear Algebra

Exotic semirings such as the “(max;+) semiring” (R[f 1g;max;+), or the “tropical semiring” (N[f+1g;min;+), have been invented and reinvented many times since the late fifties, in relation with various fields: performance evaluation of manufacturing systems and discrete event system theory; graph theory (path algebra) and Markov decision processes, Hamilton-Jacobi theory; asymptotic analysis (lo...

Formal Linear Algebra Methods Environment ( FLAME ) Overview

Parallel Sparse Linear Algebra for Homotopy Methods

Globally convergent homotopy methods are used to solve difficult nonlinear systems of equations by tracking the zero curve of a homotopy map. Homotopy curve tracking involves solving a sequence of linear systems, which often vary greatly in difficulty. In this research, a popular iterative solution tool, GMRES(k), is adapted to deal with the sequence of such systems. The proposed adaptive strat...

Internal Categorical Structures in Homotopical Algebra

This is a survey on the use of some internal higher categorical structures in algebraic topology and homotopy theory. After providing a general view of the area and its applications, we concentrate on the algebraic modelling of connected (n + 1)-types through cat-groups.